21. Leveraging Applications of Formal Methods, Verification and Validation
پدیدآورنده: edited by Tiziana Margaria, Bernhard Steffen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Computer system performance.,Software engineering.
![](/design/images/bookmore.png)
22. Mathematical modeling and simulation
پدیدآورنده: / Kai Velten
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematical models,Computer simulation,Science, Mathematical models,Engineering, Mathematical models,Science, Computer simulation,Engineering, Computer simulation
رده :
QA401
.
V44
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
23. Mathematical modeling and simulation
پدیدآورنده: / Kai Velten
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematical models,Computer simulation,Science--Mathematical models,Engineering--Mathematical models,Science--Computer simulation,Engineering--Computer simulation
رده :
QA401
.
V38
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
24. Mathematical modeling and simulation
پدیدآورنده: Kai Velten
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع: Mathematical models,Computer simulation,Science- Mathematical models,Engineering- Mathematical models,Science- Computer simulation,Engineering- Computer simulation
رده :
QA
,
401
,.
V38
,
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
25. Mathematical modeling and simulation
پدیدآورنده: / Kai Velten
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Mathematical models,Computer simulation,Science--Mathematical models.,Engineering--Mathematical models,Science--Computer simulation.,Engineering--Computer simulation.
رده :
QA
401
.
V38
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
26. Mathematical modeling and simulation : introduction for scientists and engineers
پدیدآورنده: Velten, Kai
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematical models,، Computer simulation,Mathematical models ، Science,Mathematical models ، Engineering,Computer simulation ، Science,Computer simulation ، Engineering
رده :
QA
401
.
V38
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
27. Mathematical modeling and simulation :introduction for scientists and engineers
پدیدآورنده: Velten, Kai.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Mathematical models,، Computer simulation,Mathematical models ، Science,Mathematical models ، Engineering,Computer simulation ، Science,Computer simulation ، Engineering
رده :
QA
273
.
V4M3
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
28. Modeling and simulation with Compose and Activate /
پدیدآورنده: Stephen L. Campbell, Ramine Nikoukhah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation.,Computer simulation.,SCIENCE / System Theory.,TECHNOLOGY & ENGINEERING / Operations Research.
رده :
QA76
.
9
.
C65
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
29. Models in Software Engineering
پدیدآورنده: edited by Jörg Kienzle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
![](/design/images/bookmore.png)
30. Multiscale paradigms in integrated computational materials science and engineering
پدیدآورنده: / Pierre A. Deymier, Keith Runge, Krishna Muralidharan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Materials science.,Computer simulation.,Engineering mathematics.,Numerical and Computational Physics.,Optical and Electronic Materials.,Solid State Physics.,Appl. Mathematics/Computational Methods of Engineering.
رده :
TA403
.
M92
2016
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
31. Neural network simulation environments
پدیدآورنده:
کتابخانه: کتابخانه و مرکز یادگیری دانشکده پزشکی (تهران)
موضوع: Neural networks(Computer science),Software engineering,Digital computer simulation
رده :
QA76
.
87
.
N477
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
32. Neural network simulation environments
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
33. Neural network simulation environments
پدیدآورنده: edited by Josef Skrzypek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
34. Neural network simulation environments
پدیدآورنده: edited by Josef Skrzypek
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Neural networks )Computer science( , Software engineering , Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
35. Neural networks and artifical intelligence for biomedical engineering
پدیدآورنده: / by Donna L.Hudson, Maurice E.Cohen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Biomedical engineering- Computer simulation,Expert systems (Computer science),Neural networks(Computer science),Artificial intelligence- Medical Applications
رده :
R859
.
7
.
A78H84
1999
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
36. Neural networks and artificial intelligence for biomedical engineering
پدیدآورنده : Hudson, D. L.)Donna L.(
موضوع : ، Artificial intelligence-- Medical applications,، Neural networks )Computer science(,، Expert systems )Computer science(,، Biomedical engineering-- Computer simulation
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
37. Neural networks and artificial intelligence for biomedical engineering /
پدیدآورنده: Donna L. Hudson, Maurice E. Cohen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence-- Medical applications,Biomedical engineering-- Computer simulation,Expert systems (Computer science),Neural networks (Computer science),Artificial Intelligence,Biomedical Engineering,Expert Systems,Neural Networks (Computer)
رده :
R859
.
7
.
A78
H84
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
38. Object-oriented analysis and simulation
پدیدآورنده: Hill, David R. C.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Object-oriented programming )Computer science( , Software engineering , Computer simulation , Object-oriented programming
رده :
QA
76
.
64
.
H55
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
39. Praktische Informationstechnik mit C#
پدیدآورنده: Oliver Kluge.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Electronic data processing.,Engineering mathematics.
![](/design/images/bookmore.png)
40. Reliability and Safety Assessment of Dynamic Process Systems
پدیدآورنده: edited by Tunc Aldemir, Nathan O. Siu, Ali Mosleh, P. Carlo Cacciabue, B. Gül Göktepe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Engineering.,Memory management (Computer science).,Microprogramming.,Physics.,Software engineering.
![](/design/images/bookmore.png)